61. Advances in the design of symbolic computation systems
پدیدآورنده: / A. Miola and M. Temperini (eds.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: System design,Object-oriented programming (Computer science),Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
62. Advances in the design of symbolic computation systems
پدیدآورنده: / A. Miola and M. Temperini (eds.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: System design,Object-oriented programming (Computer science),Mathematics -- Data processing
رده :
QA76
.
9
.
S88
,
A38
1997
63. Alan Turing :
پدیدآورنده: edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
64. Alan Turing : his work and impact
پدیدآورنده: Cooper, S. B. )S. Barry(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
65. Alan Turing : his work and impact
پدیدآورنده: edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
66. Algebra and Coalgebra in Computer Science :
پدیدآورنده: José Luis Fiadeiro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
67. Algebra and coalgebra in computer science :
پدیدآورنده: Reiko Heckel, Stefan Milius (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
68. Algebra and coalgebra in computer science :
پدیدآورنده: Andrea Corradini, Bartek Klin, Corina Cîrstea (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
69. Algebra and coalgebra in computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd
70. Algebra and coalgebra in computer science
پدیدآورنده: / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics--Congresses,Algebra--Congresses,Formale Methode--Kongress--Udine <2009>,Theoretische Informatik--Algebra--Kongress--Udine <2009>,Theoretische Informatik--Koalgebra--Kongress--Udine <2009>,Algebra.--swd,Formale Methode.--swd,Koalgebra.--swd,Theoretische Informatik.--swd,Kongress.--swd,Udine (2009)--swd
رده :
QA
,
76
.
9
,.
M35
,
C33
,
2009
71. Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
پدیدآورنده: Jose Luiz Fiadeiro...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
3629
72. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
73. Algebra for Applications
پدیدآورنده: / Arkadii Slinko
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science - Mathematics.,Algebra - Data processing.
رده :
QA184
.
A525
2015
74. Algebra for Cryptologists
پدیدآورنده: \ Alko R. Meijer
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra,جبر,a04,a04,Data encryption (Computer science) -- Mathematics.,رمزگذاری داده‌ها -- ریاضیات
رده :
E-Book
,
75. Algebra for computer science
پدیدآورنده: / Lars Garding, Torbjorn Tambour
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computer science - Mathematics
رده :
QA76
.
9
.
M35G37
76. Algebra for computer science
پدیدآورنده: / Lars Grding, Torbjorn Tambour
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science- Mathematics
رده :
QA76
.
9
.
M35G37
1988
77. Algebra for computer science
پدیدآورنده: Lars Gearding, Torbjeorn Tambour
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Computer science- Mathematics
رده :
QA
76
.
9
.
G32A64
1988
78. Algebra for computer science
پدیدآورنده: Garding, Lars
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Computer science - Mathematics
رده :
QA
76
.
9
.
G3
A4
79. Algebra for computer science
پدیدآورنده: Garding, Lars
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G37
1988
80. Algebra for computer science
پدیدآورنده: GARDING,LARS
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: COMPUTER SCIENCE-MATHEMATICS
رده :
QA
76
.
9
.
M35
G37
1988
